집합의 연산

합집합은 두 개 이상의 집합에 속하는 원소를 모두 모아서 만든 새로운 집합이다. 예를 들어, 집합 A = {1, 2, 3}과 집합 B = {3, 4, 5}가 있을 때, 이들의 합집합 A ∪ B는 {1, 2, 3, 4, 5}가 된다. 이때 같은 원소 3은 중복되지 않고 한 번만 포함된다. 합집합의 연산은 논리학에서 논리합(OR)에 대응하며, 컴퓨터 과학에서 비트 연산이나 데이터베이스 질의 등에도 널리 활용된다.

합집합은 기본적인 집합 연산 중 하나로, 교집합 및 차집합과 함께 집합의 대수적 구조를 이루는 기초를 형성한다. 표기법으로는 주로 유니온 기호 '∪'를 사용하여 나타낸다. 예를 들어, 집합 A와 B의 합집합은 'A ∪ B'로 쓰고, "A 합집합 B" 또는 "A union B"라고 읽는다.

합집합 연산은 교환법칙과 결합법칙을 만족한다. 즉, A ∪ B = B ∪ A가 성립하며, (A ∪ B) ∪ C = A ∪ (B ∪ C)도 성립한다. 이 법칙들은 집합을 다루는 계산을 단순화하는 데 유용하다. 또한 합집합은 교집합에 대해 분배법칙이 성립한다: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).

합집합의 개념은 원소의 개수를 셀 때도 중요하게 적용된다. 두 집합 A와 B의 합집합의 원소의 개수 |A ∪ B|는 각 집합의 원소 수의 합에서 교집합의 원소 수를 뺀 값, 즉 |A| + |B| - |A ∩ B|와 같다. 이 원리는 세 개 이상의 집합으로 확장된 포함배제의 원리의 기초가 된다.

교집합은 두 개 이상의 집합에 모두 속하는 원소들로 이루어진 새로운 집합을 의미한다. 집합 A와 B의 교집합은 A ∩ B로 표기하며, 'A 교 B'라고 읽는다. 수학적 정의로는 A ∩ B = { x | x ∈ A 그리고 x ∈ B }와 같이 표현된다. 이는 논리학에서의 논리곱과 대응되는 개념이다.

교집합 연산은 교환법칙과 결합법칙을 만족한다. 즉, A ∩ B = B ∩ A 이며, (A ∩ B) ∩ C = A ∩ (B ∩ C)가 성립한다. 또한, 합집합과의 관계에서 분배법칙이 성립하는데, A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) 와 A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)가 대표적이다.

두 집합의 교집합이 공집합일 경우, 즉 공통된 원소가 하나도 없는 경우, 두 집합은 서로소 관계에 있다고 말한다. 교집합의 개념은 벤 다이어그램을 통해 시각적으로 쉽게 이해할 수 있으며, 두 원이 겹치는 부분에 해당한다. 컴퓨터 과학에서는 데이터베이스 질의나 검색 알고리즘에서 공통 요소를 찾는 연산 등에 응용된다.

차집합은 두 집합 A와 B가 주어졌을 때, A에는 속하지만 B에는 속하지 않는 모든 원소들로 이루어진 새로운 집합을 만드는 연산이다. 이렇게 만들어진 집합은 A에서 B의 원소를 '빼는' 개념으로 이해할 수 있으며, 기호로는 A \ B 또는 A - B로 표기한다. 예를 들어, 집합 A = {1, 2, 3, 4}이고 집합 B = {3, 4, 5}라면, 차집합 A \ B는 {1, 2}가 된다.

차집합은 순서에 따라 결과가 달라지는 비대칭적인 연산이다. 즉, A \ B와 B \ A는 일반적으로 서로 다른 집합이다. 위의 예에서 B \ A는 B에는 속하지만 A에는 속하지 않는 원소인 {5}가 된다. 이처럼 두 집합의 차집합 연산에서 서로 다른 결과를 얻을 수 있으며, 이 두 결과를 함께 고려하는 개념이 대칭차집합이다.

차집합 연산은 논리학에서의 차별이나 배제의 개념, 컴퓨터 과학에서의 데이터 필터링이나 예외 처리 등 다양한 분야에서 응용된다. 또한, 전체집합 U와의 차집합 연산 U \ A는 여집합 A^c를 정의하는 데 사용되며, 이는 드 모르간의 법칙과 같은 중요한 집합의 대수 법칙을 구성하는 기초가 된다.

대칭차집합은 두 집합 A와 B에 대해, A에 속하거나 B에 속하지만 동시에 둘 다에는 속하지 않는 원소들로 이루어진 집합이다. 즉, 두 집합의 합집합에서 교집합을 뺀 차집합과 같다. 기호로는 A △ B 또는 A ⊕ B로 표기한다.

이 연산은 논리학에서의 배타적 논리합과 개념적으로 동일하며, 컴퓨터 과학에서 비트 연산 등에 응용된다. 예를 들어, 두 데이터 집합 간의 차이점만을 추출하고자 할 때 유용하게 사용될 수 있다.

대칭차집합은 교환법칙과 결합법칙을 만족한다. 즉, A △ B = B △ A 이며, (A △ B) △ C = A △ (B △ C) 가 성립한다. 또한, 다른 집합 연산과의 관계에서, 대칭차집합은 (A ∪ B) \ (A ∩ B) 또는 (A \ B) ∪ (B \ A) 로 표현될 수 있다.

대칭차집합의 원소 개수에 대해서는 포함배제의 원리를 변형한 공식이 존재한다. 두 유한집합 A, B에 대해, n(A △ B) = n(A) + n(B) - 2 * n(A ∩ B) 가 성립한다.

부분집합은 한 집합의 모든 원소가 다른 집합에 포함될 때 정의된다. 집합 A의 모든 원소가 집합 B의 원소이면, A는 B의 부분집합이라고 하며, 기호로는 A ⊆ B로 표기한다. 이 관계는 집합 간의 포함 관계를 나타내는 가장 기본적인 개념이다. 예를 들어, 집합 {1, 2}는 집합 {1, 2, 3}의 부분집합이다.

부분집합의 특별한 경우로 진부분집합이 있다. 집합 A가 집합 B의 부분집합이지만, 두 집합이 완전히 같지 않을 때, 즉 A ⊆ B이면서 A ≠ B일 때, A를 B의 진부분집합이라고 한다. 기호로는 A ⊂ B로 나타내어 구분하기도 한다. 모든 집합은 자기 자신의 부분집합이지만, 진부분집합은 아니다.

부분집합의 개념은 집합론의 기초를 이루며, 수학 전반과 논리학, 컴퓨터 과학의 이산수학 분야에서 광범위하게 활용된다. 예를 들어, 알고리즘의 복잡도 분석이나 데이터베이스의 관계 대수에서 집합 연산과 함께 부분집합 관계가 중요한 역할을 한다. 또한, 두 집합이 서로 부분집합 관계에 있을 때, 즉 A ⊆ B이고 동시에 B ⊆ A이면, 두 집합은 모든 원소가 일치하므로 같은 집합, 즉 상등 관계에 있게 된다.

부분집합의 특수한 경우이다. 집합 A가 집합 B의 부분집합이면서, A와 B가 서로 같지 않을 때, 즉 A의 모든 원소가 B에 속하지만 B에는 A에 속하지 않는 원소가 적어도 하나 존재할 때, A를 B의 진부분집합이라고 한다. 이는 A가 B에 완전히 포함되지만 B보다 작은 집합임을 의미한다.

표기법으로는 A ⊂ B를 사용하며, 이는 A가 B의 진부분집합임을 나타낸다. 반면, A ⊆ B는 A가 B의 부분집합(같을 수도 있는 경우)을 의미한다. 예를 들어, 집합 {1, 2}는 {1, 2, 3}의 진부분집합이다. 그러나 {1, 2}는 {1, 2}의 진부분집합이 아니다. 이 경우 두 집합은 상등이며, 단순한 부분집합 관계에 있다.

진부분집합의 개념은 집합론에서 집합들의 크기와 포함 관계를 정밀하게 논할 때 중요하게 사용된다. 또한, 멱집합을 구할 때 원래 집합 자신을 제외한 모든 부분집합이 진부분집합이 된다. 이 개념은 컴퓨터 과학의 자료 구조나 논리학의 논증에서도 활용된다.

두 집합이 서로 같은 원소들로 구성되어 있을 때, 이 두 집합은 서로 상등하다고 한다. 즉, 집합 A와 집합 B가 상등이라는 것은 A의 모든 원소가 B의 원소이고, 동시에 B의 모든 원소도 A의 원소인 경우를 말한다. 이는 집합론에서 두 집합이 완전히 동일함을 나타내는 가장 기본적인 관계이다.

상등 관계는 기호 '='를 사용하여 A = B와 같이 표기한다. 이 정의에 따르면, 집합은 원소의 나열 순서나 표현 방법과 무관하게 오직 그 안에 포함된 원소 자체만으로 결정된다. 예를 들어, {1, 2, 3}과 {3, 2, 1}은 원소의 순서가 다르지만 포함된 원소는 같으므로 상등이다. 또한 {x | x는 10 이하의 소수}라는 집합과 {2, 3, 5, 7} 역시 같은 집합을 서로 다른 방식으로 표현한 것이므로 상등이다.

집합의 상등은 부분집합 개념을 이용하여 엄밀하게 정의할 수 있다. 집합 A가 집합 B의 부분집합이고(A ⊆ B), 동시에 집합 B가 집합 A의 부분집합이라면(B ⊆ A), 두 집합은 상등이다(A = B). 이는 상등을 증명하는 데 자주 사용되는 방법이다. 상등 관계는 논리학에서의 동치 관계와 마찬가지로, 반사성, 대칭성, 추이성을 모두 만족하는 동치관계의 대표적인 예시이다.

상등의 개념은 모든 수학적 논의의 기초가 된다. 두 집합이 같다는 것을 확인하는 것은 방정식을 푸는 것부터 복잡한 정리를 증명하는 데 이르기까지 수학 전반에 걸쳐 필수적이다. 또한 컴퓨터 과학에서 자료구조 간의 동등성 비교나, 프로그래밍 언어에서 값의 일치 여부를 판단하는 논리 또한 이 집합의 상등 개념에 그 뿌리를 두고 있다.

합집합과 교집합 연산은 각각 교환법칙과 결합법칙을 만족한다. 즉, 임의의 집합 A, B, C에 대해 A ∪ B = B ∪ A, A ∩ B = B ∩ A가 성립하며, (A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)가 성립한다. 이는 수의 덧셈과 곱셈이 만드는 대수적 구조와 유사한 성질이다.

합집합과 교집합은 서로에 대해 분배법칙이 성립한다. 이는 집합 연산의 중요한 특징 중 하나이다. 구체적으로, A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)가 성립하며, 반대로 A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)도 성립한다. 이 법칙은 논리학에서의 논리곱과 논리합의 관계, 또는 부울 대수의 기본 법칙과도 직접적으로 연결된다.

이러한 법칙들은 집합의 연산을 다룰 때 유용하게 활용된다. 예를 들어 복잡한 집합 식을 단순화하거나, 두 집합 식이 서로 같은지를 증명하는 과정에서 기본적으로 적용된다. 또한 컴퓨터 과학에서 집합론을 응용한 데이터베이스 쿼리 처리나 알고리즘 설계 시에도 이러한 대수 법칙이 논리적 근거를 제공한다.

드 모르간의 법칙은 집합론의 기본적인 법칙 중 하나로, 합집합의 여집합은 각 집합의 여집합의 교집합과 같고, 교집합의 여집합은 각 집합의 여집합의 합집합과 같다는 규칙이다. 이는 논리학에서의 드 모르간의 법칙과 직접적으로 대응되는 성질이다.

수식으로 표현하면, 전체집합 U와 그 안의 두 집합 A, B에 대해 다음이 성립한다.

• (A ∪ B)^c = A^c ∩ B^c

• (A ∩ B)^c = A^c ∪ B^c

이 법칙은 임의의 유한 개 또는 무한 개의 집합족에 대해서도 확장 적용될 수 있다. 예를 들어, 여러 집합 A_i의 합집합의 여집합은 각 A_i의 여집합의 교집합과 같다. 이 법칙은 집합의 연산을 단순화하거나 변형할 때, 특히 여집합을 다룰 때 매우 유용하게 사용된다.

드 모르간의 법칙은 논리회로 설계나 불 대수를 다루는 컴퓨터 과학 및 디지털 논리 분야에서도 핵심적으로 적용된다. 집합 연산에서의 합집합과 교집합은 논리 연산에서의 논리합(OR)과 논리곱(AND)에, 여집합은 부정(NOT)에 각각 대응되기 때문이다.

멱등법칙은 어떤 집합에 대해 동일한 연산을 두 번 적용해도 결과가 변하지 않는 성질을 말한다. 합집합 연산과 교집합 연산은 멱등법칙을 만족한다. 즉, 임의의 집합 A에 대해 A ∪ A = A 이고, A ∩ A = A 이다. 이는 집합에 자신과 같은 원소를 추가해도, 또는 자신과 공통된 부분만을 다시 취해도 집합 자체가 변하지 않는다는 직관과 일치한다.

항등법칙은 연산을 수행할 때 특정 집합이 다른 집합의 결과에 영향을 주지 않는 성질을 의미한다. 공집합은 합집합 연산의 항등원 역할을 한다. 즉, 임의의 집합 A에 대해 A ∪ ∅ = A 가 성립한다. 반면, 교집합 연산의 항등원은 전체집합 U이다. 임의의 집합 A에 대해 A ∩ U = A 가 성립한다. 이는 공집합과 합집합을 하면 원래 집합이 그대로 유지되고, 전체집합과 교집합을 하면 원래 집합이 그대로 유지된다는 것을 보여준다.

보수법칙은 여집합과 관련된 성질로, 집합과 그 여집합의 관계를 규정한다. 임의의 집합 A에 대해, A와 그 여집합 A^c의 합집합은 전체집합 U가 된다 (A ∪ A^c = U). 또한, A와 그 여집합 A^c의 교집합은 공집합 ∅이 된다 (A ∩ A^c = ∅). 이 두 법칙은 서로 보완적인 관계에 있는 두 집합이 전체 공간을 완전히 채우면서도 겹치는 부분이 없음을 나타낸다. 이 법칙들은 드 모르간의 법칙과 함께 집합의 대수를 구성하는 기본 법칙 중 하나이다.

두 집합이 서로소라는 것은 두 집합 사이에 공통된 원소가 하나도 없는 관계를 말한다. 즉, 두 집합 A와 B가 서로소일 필요충분조건은 그 교집합이 공집합인 것이다. 이를 기호로는 A ∩ B = ∅ 로 나타낸다.

집합족, 즉 여러 개의 집합들의 모임에 대해서도 서로소 개념이 확장된다. 집합족에 속하는 모든 집합들이 쌍마다 서로소일 때, 이 집합족을 쌍마다 서로소라고 한다. 이는 집합족 내에서 서로 다른 임의의 두 집합을 골랐을 때, 그 교집합이 항상 공집합임을 의미한다.

서로소 개념은 집합의 분할을 정의하는 데 핵심적인 역할을 한다. 어떤 집합을 분할한다는 것은 그 집합을 서로소인 부분집합들로 나누는 것을 말하며, 이때 각 부분집합을 그 분할의 블록이라고 부른다. 또한, 합집합 연산에서 합쳐지는 집합들이 서로소일 경우, 원소의 개수를 셀 때 중복 계산 없이 간단히 더할 수 있다는 장점이 있다.

서로소 관계는 그래프 이론에서 독립 집합을 논하거나, 확률론에서 상호 배반 사건을 정의할 때, 그리고 데이터베이스 설계에서 정규화 과정을 이해하는 데에도 활용되는 중요한 개념이다.

분할은 주어진 집합을 서로 겹치지 않는 부분들로 나누는 개념이다. 집합 A의 분할은 A의 공집합이 아닌 부분집합들로 이루어진 집합족이며, 이 부분집합들은 서로소이고, 그 합집합이 원래 집합 A와 같아야 한다.

예를 들어, 집합 A = {1, 2, 3, 4}가 있을 때, {{1, 2}, {3}, {4}}는 A의 분할이다. 각 부분집합은 공집합이 아니며, 서로 교집합이 공집합이고, 모든 부분집합의 합집합은 A와 같다. 반면, {{1, 2}, {2, 3}, {4}}는 부분집합들이 서로소가 아니므로 분할이 아니다. 또한 {{1, 2}, {3}}은 그 합집합이 A와 같지 않으므로 분할이 될 수 없다.

분할은 동치관계와 밀접하게 연결되어 있다. 주어진 집합 위의 모든 동치관계는 그 집합을 하나의 분할로 만들며, 반대로 모든 분할은 하나의 동치관계를 결정한다. 이때 각 분할 블록은 동치류가 된다. 또한, 분할의 개념은 조합론에서 집합을 분류하거나, 자료 구조에서 데이터를 그룹화하는 등 다양한 수학 및 컴퓨터 과학 분야에서 응용된다.

곱집합은 주어진 두 개 이상의 집합으로부터 새로운 집합을 만들어내는 연산이다. 이 연산은 각 집합에서 하나씩 원소를 뽑아 순서쌍을 만들고, 이러한 모든 가능한 순서쌍들을 모아 하나의 집합으로 구성한다. 예를 들어, 집합 A = {1, 2}와 집합 B = {a, b}가 있을 때, 두 집합의 곱집합 A × B는 {(1, a), (1, b), (2, a), (2, b)}가 된다. 이때 만들어진 순서쌍 (a, b)에서 a와 b의 순서는 중요하며, 일반적으로 A × B와 B × A는 서로 다른 집합이다.

곱집합은 데카르트 좌표계의 개념과 밀접하게 연결되어 있으며, 흔히 '카테시안 곱'이라고도 불린다. 2차원 평면 위의 모든 점의 집합은 실수 집합 R과 자신의 곱집합 R × R로 표현될 수 있다. 이 개념은 집합론을 넘어 이산수학, 관계, 데이터베이스의 관계 대수, 그리고 프로그래밍 언어에서의 자료형 이론 등 컴퓨터 과학의 여러 분야에서 광범위하게 응용된다.

곱집합의 개념은 두 집합에 국한되지 않으며, 유한 개 또는 심지어 무한 개의 집합들로도 확장될 수 있다. n개의 집합 A₁, A₂, ..., Aₙ에 대한 곱집합 A₁ × A₂ × ... × Aₙ의 원소는 (a₁, a₂, ..., aₙ) 형태의 n-튜플이다. 이는 다차원 공간을 정의하거나, 여러 조건이 조합된 경우의 수를 체계적으로 나열하는 데 유용한 도구가 된다.

멱집합(power set)은 주어진 집합의 모든 부분집합들을 원소로 가지는 집합을 말한다. 집합 A의 멱집합은 보통 P(A) 또는 2^A로 표기한다. 예를 들어, 집합 A = {1, 2}의 멱집합 P(A)는 {∅, {1}, {2}, {1, 2}}이다. 여기서 공집합 ∅도 A의 부분집합이므로 멱집합의 원소가 됨에 주의해야 한다.

멱집합의 원소 개수는 원래 집합의 원소 개수와 밀접한 관련이 있다. 만약 집합 A가 유한집합이고 그 원소의 개수가 n개라면, A의 멱집합 P(A)의 원소 개수는 2^n개가 된다. 이는 각 원소가 특정 부분집합에 '포함되거나' '포함되지 않거나' 하는 두 가지 선택 가능성이 있고, 이 선택이 n개의 원소 모두에 대해 독립적으로 적용되기 때문이다. 이 성질은 조합론과 이산수학에서 중요한 기초가 된다.

멱집합의 개념은 컴퓨터 과학에서도 널리 활용된다. 예를 들어, 알고리즘 설계 시 가능한 모든 경우의 수를 탐색하는 '멱집합 생성' 문제나, 자료 구조에서 상태 공간을 표현할 때 사용된다. 또한 정형 언어 이론에서 언어를 인식하는 유한 상태 기계의 상태 전이를 분석할 때도 멱집합 구성법이 핵심적인 역할을 한다.

멱집합은 원래 집합보다 항상 더 큰 크기를 가지며, 이는 무한집합의 경우에도 성립하는 중요한 성질이다. 게오르크 칸토어의 정리에 따르면, 어떤 집합 A에 대해 그 멱집합 P(A)의 크기(카디널리티)는 항상 A의 크기보다 크다. 이 결과는 초한수 이론과 대각선 논법의 출발점이 되었다.

집합론에서 다루는 모든 집합은 특정한 범위 내에서 고려된다. 이때 논의의 대상이 되는 모든 원소를 포함하는 집합을 전체집합이라고 하며, 보통 기호 U나 Ω로 표시한다. 전체집합은 상대적인 개념으로, 주어진 문제나 상황에 따라 그 범위가 정해진다. 예를 들어, 자연수만을 다루는 경우 전체집합은 모든 자연수의 집합이 된다. 전체집합이 정의되면, 그 안에서 특정 집합 A에 대한 여집합 A^c는 '전체집합에는 속하지만 A에는 속하지 않는 모든 원소의 집합'으로 정의할 수 있다.

전체집합과 대비되는 또 다른 중요한 개념은 공집합이다. 공집합은 원소를 하나도 포함하지 않는 집합을 말하며, 기호 ∅ 또는 {}로 나타낸다. 공집합은 모든 집합의 부분집합이라는 독특한 성질을 가진다. 또한, 임의의 집합 A와 공집합의 합집합은 A 자신이 되고, 교집합은 공집합이 된다. 이는 수학에서 숫자 0이 덧셈에 대한 항등원 역할을 하는 것과 유사하게, 공집합은 합집합 연산에 대한 항등원의 역할을 한다.

전체집합과 공집합은 집합 연산의 기본 법칙을 구성하는 데 핵심적이다. 예를 들어, 멱등법칙에 따라 A ∪ A = A이고, 항등법칙에 따라 A ∪ ∅ = A, A ∩ U = A가 성립한다. 또한, 보수법칙은 A와 그 여집합 A^c의 합집합이 전체집합(U)이 되고, 교집합이 공집합(∅)이 됨을 나타낸다. 이러한 성질들은 논리학이나 부울 대수에서도 동일하게 적용되는 기본 원리이다.

이 두 특별한 집합은 집합의 연산을 논할 때 반드시 전제가 되는 배경이자 기준점을 제공한다. 모든 원소를 아우르는 전체집합과 아무것도 포함하지 않는 공집합의 존재는, 집합들 사이의 관계와 연산 결과를 명확히 정의하는 데 필수적이다.

여집합은 주어진 집합의 원소가 아닌 것들로 이루어진 집합이다. 전체집합이 정해져 있을 때, 어떤 집합 A의 여집합은 전체집합 U의 원소 중 A에 속하지 않는 모든 원소를 모은 집합을 의미한다. 이를 A의 보집합이라고도 부른다. 표기법으로는 A^c, A', 또는 U \ A와 같이 나타낸다.

여집합의 개념은 전체집합을 명시적으로 정의하는 것에 의존한다. 예를 들어, 전체집합을 자연수로 정했을 때, 짝수의 집합의 여집합은 홀수의 집합이 된다. 그러나 전체집합이 달라지면 여집합도 달라지므로, 여집합을 논할 때는 항상 전체집합이 무엇인지 분명히 해야 한다.

여집합 연산은 여러 기본적인 성질을 가진다. 어떤 집합 A의 여집합의 여집합은 다시 원래의 집합 A가 된다. 또한, 전체집합의 여집합은 공집합이며, 공집합의 여집합은 전체집합이다. 이러한 성질들은 논리학에서의 부정 연산과 유사한 구조를 보인다.

여집합은 드 모르간의 법칙을 통해 합집합 및 교집합 연산과 밀접하게 연결된다. 두 집합 A와 B의 합집합의 여집합은 각 집합의 여집합의 교집합과 같으며, 교집합의 여집합은 각 집합의 여집합의 합집합과 같다. 이 법칙은 불 대수와 디지털 회로 설계 등 컴퓨터 과학 분야에서도 널리 응용된다.

집합의 원소의 개수를 셀 때, 단일 집합의 경우는 간단하지만, 두 개 이상의 집합이 합집합을 이루는 경우에는 중복된 원소를 제외해야 한다. 이를 위해 사용되는 기본적인 원리가 포함배제의 원리이다. 두 집합 A와 B에 대해, A와 B의 합집합의 원소의 개수는 각 집합의 원소의 개수를 더한 후, 두 집합의 교집합의 원소의 개수를 빼서 구한다. 즉, |A ∪ B| = |A| + |B| - |A ∩ B| 이다.

이 원리는 세 개 이상의 집합으로 확장될 수 있다. 예를 들어, 세 집합 A, B, C에 대한 합집합의 원소의 개수는 다음과 같다. |A ∪ B ∪ C| = |A| + |B| + |C| - |A ∩ B| - |B ∩ C| - |C ∩ A| + |A ∩ B ∩ C|. 이는 각 집합의 크기를 모두 더한 후, 두 집합씩 짝지어 교집합의 크기를 빼고, 다시 세 집합 모두의 교집합의 크기를 더하는 패턴을 보인다.

포함배제의 원리는 조합론과 확률론에서 매우 유용하게 활용된다. 특히, 특정 조건을 만족하지 않는 원소의 개수를 세거나, 복잡한 사건의 확률을 계산할 때 효과적이다. 이 원리는 유한 집합의 원소 개수를 세는 문제를 넘어, 정수론에서 서로소인 수의 개수를 세는 오일러 파이 함수의 계산 등 다양한 수학적 문제 해결에 적용된다.